1. Albanische Grammatik /
پدیدآورنده : Oda Buchholz, Wilfried Fiedler.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
2. Iterated inductive definitions and subsystems of analysis
پدیدآورنده : / Wilfried Buchholz ... [et al.]
کتابخانه: Central Library and Documents Center of Allameh Tabatabaei University (Tehran)
موضوع :
رده :
QA3
،.
L28
,
I84
1981
3. Iterated inductive definitions and subsystems of analysis: recent proff-theoretical studies
پدیدآورنده : )by( Wilfreid Buchholz )et al(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
4. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
299
.
8
.
I85
1981
5. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Foundations ، Mathematical analysis,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
no
.
897
6. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
3
.
L28
Vol
.
897
7. Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
پدیدآورنده : Wilfried Buchholz ... )et al.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Mathematical analysis - Foundations,، Induction )Mathematics(,، Proof theory
رده :
QA
1
.
L4
v
.
897
8. Proof theory of impredicative subsystems of analysis /
پدیدآورنده : Wilfried Buchholz, Kurt Schütte
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical analysis,Proof theory
9. Proof theory of impredicative subsystems of analysis
پدیدآورنده : Buchholz, Wilfried, 8491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Mathematical analysis -- Foundations,، Proof theory
رده :
QA
299
.
8
.
B83
